-
1 universal colimit
Большой англо-русский и русско-английский словарь > universal colimit
-
2 universal colimit
Математика: универсальный копредел -
3 universal colimit
-
4 colimit
-
5 colimit
мат.копредел, прямой предел -
6 универсальный копредел
Большой англо-русский и русско-английский словарь > универсальный копредел
-
7 morphism
морфизм dually universal morphism ≈ двойственно универсальный морфизм fiber bundle morphism ≈ морфизм расслоенного пространства left regular morphism ≈ регулярный слева морфизм local vector bundle morphism ≈ локальный морфизм векторных расслоений locally embeddable morphism ≈ локально вложимый морфизм locally stable morphism ≈ локально устойчивый морфизм locally trivial morphism ≈ локально тривиальный морфизм principal bundle morphism ≈ морфизм главных расслоений projectively embeddable morphism ≈ проективно вложимый морфизм purely inseparable morphism ≈ чисто несепарабельный морфизм residually stable morphism ≈ резидуально устойчивый морфизм right liberty morphism ≈ освобождающий справа морфизм right regular morphism ≈ регулярный справа морфизм universally closed morphism ≈ универсально замкнутый морфизм universally submersive morphism ≈ универсально субмерсивный морфизм - bijective morphism - bilogical morphism - bimeromorphic morphism - birational morphism - bounded morphism - bundle morphism - canonical morphism - categorical morphism - central morphism - clone morphism - closed morphism - cobounded morphism - codiagonal morphism - coequating morphism - coessential morphism - coimage of morphism - coliberty morphism - commutator morphism - compactifiable morphism - compatibility morphism - composite morphism - connecting morphism - coperfect morphism - covering morphism - divisible morphism - dominant morphism - dual morphism - embeddable morphism - epic morphism - etale morphism - extendable morphism - factored morphism - factorial morphism - fibered morphism - finite morphism - flat morphism - functorial morphism - fuzzy morphism - general morphism - geometric morphism - graded morphism - groupoid morphism - homotopic morphism - identity morphism - index of morphism - induced morphism - inductive morphism - injective morphism - inseparable morphism - invertible morphism - kernel of morphism - lattice morphism - liftable morphism - limit morphism - manifold morphism - monic morphism - morphism of colimit - morphism of complexes - morphism of functors - morphism of limit - morphism of manifolds - morphism of premanifold - morphism of presheafs - morphism of rings - morphism of semigroups - morphism of sheafs - natural morphism - neighbor morphism - nonstrict morphism - nontrivial morphism - open morphism - periodicity morphism - pregroup morphism - projective morphism - proper morphism - pseudosmooth morphism - quasicompact morphism - quasifinite morphism - quasiprojective morphism - quotient morphism - ramified morphism - restriction morphism - semilattice morphism - separated morphism - shape morphism - simplicial morphism - splitting morphism - stable morphism - strong morphism - submersive morphism - substitution morphism - surjective morphism - terminal morphism - topological morphism - trace morphism - transfer morphism - transversal morphism - universal morphism - unramified morphism - zero morphism (математика) морфизмБольшой англо-русский и русско-английский словарь > morphism
-
8 morphism
См. также в других словарях:
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Diagram (category theory) — In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in the categorical setting one has morphisms. An indexed family of sets is a collection of sets … Wikipedia
Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… … Wikipedia
Coproduct — This article is about coproducts in categories. For coproduct in the sense of comultiplication, see Coalgebra. In category theory, the coproduct, or categorical sum, is the category theoretic construction which includes the disjoint union of sets … Wikipedia
Pushout (category theory) — In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamed sum) is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common … Wikipedia
Kan extension — Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named after Daniel M. Kan, who constructed certain (Kan) extensions using … Wikipedia
Diagonal functor — In category theory, for any object a in any category where the product exists, there exists the diagonal morphism satisfying for , where πk … Wikipedia
Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… … Wikipedia
Cone (category theory) — In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category theory as well. Contents 1 Definition 2 Equivalent formulations 3 Category … Wikipedia
